$\forall$$X$:Type, ${\it eq}$:EqDecider($X$), $f$, $g$:$x$:$X$ fp$\rightarrow$ Type, $x$:$X$. $f$ $\parallel$ $g$ $\Rightarrow$ ($f$($x$)?Void $\subseteq$r $g$($x$)?Top)